Type

Type may refer to:

In philosophy:

• Type–token distinction

In mathematics:

• Type (model theory)
• Type theory, basis for the study of type systems
• Type or arity, the number of operands a function takes
• Type, any proposition or set in the intuitionistic type theory

In computing:

• Typing, producing text via a keyboard
• Data type, collection of values used for computations
• Type (command), a shell command to display contents of a file.
• Type (Unix), a POSIX shell builtin that gives information about commands.
• Type system, defines a programming language's response to data types

In sociology:

• Ideal type
• Normal type
• Typification

Other:

• Type (band), name of Portuguese DJ and musician Cyz (Cynthia Zamorano)
• Type (designation), a model numbering system used for vehicles or military equipment
• Typeface, used in typesetting
  • Sort (typesetting), cast metal type for printing
  • Type Museum, museum about the above
• Architectural type, classification of architecture by functional types (houses, institutions), morphological types or historical types Architectural style subcategories
• Dog type, categorization by use or function of domestic dogs
• Type (biology), which fixes a scientific name to a taxon

See also

• Typology, the study of types
• Kind